1-1رستهها
1-1-1 تعريف:هر رسته ردهاي است مانند C از اشياء (كه با A,B,C,…
نموده ميشوند) به انضمام:
يك) يك رده از
مجموعههاي از هم جدا، كه با
نموده ميشود، براي هر جفت از اشياء در C
(عنصر f از
يك ريختار از
A به B
ناميده و با
نموده ميشود).
دو) به ازاي هر سهتايي ( A ,B ,C) از اشياء در C،تابعي مانند:
(براي
ريختارهاي
و
،اين تابع بصورت
نوشته و
تركيب f و g خوانده ميشود)كه در دو اصل زير صدق ميكند:
(دو-1) شركتپذيري: هرگاه
و
و
ريختارهاي در C باشند آنگاه ریاضیات...
ما را در سایت ریاضیات دنبال می کنید
برچسب : نویسنده : 9math1342d بازدید : 259 تاريخ : سه شنبه 20 مهر 1395 ساعت: 21:03